Home :: Operating Systems :: Realtime

Segger Microcontroller Systeme GmbH
Makes embOS RTOS for embedded uses, multitasking, minimum cost no royalty, fully interruptible, efficient for time critical uses, RAM and ROM needs are so small it fits one-chip uses, leaving more room for user programs.
http://www.segger.com/

L4 Microkernel
L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, SMP version released. Linux ports: L4/MIPS, L4/Alpha underway.
http://www.cse.unsw.EDU.AU/~disy/L4/

Technosoftware, Inc.
RTXDOS-16 (DOS compatible) and RTXDOS-32 (WIN32 compatible) real-time OSs for embedded PCs. Modular systems with TCP/IP, WEB server, Process IO, OPC Toolkit, and IEC1131.
http://www.technosoftware.com/

Dan Dodge and Gordon Bell: When Software Really, Really Has to Work
As far as anyone can tell, software created by Canadian firm QNX Software Systems simply doesn't crash. Their software has run nonstop without mishaps at some customer sites since being installed more than a decade ago. [Fortune]
http://www.fortune.com/fortune/imt/0,15704,427288-2,00.html

eCosCentric Ltd.
Commercial provider, maintainer of eCos RTOS; no royalty or license fee, highly configurable (300+ parameters) for embedded systems, runs on most major processors; founded 2002; software, consulting, development, resources. [Open Source]
http://www.ecoscentric.com/